Distributed Supervisory Control Synthesis For Discrete Manufacturing Systems
نویسندگان
چکیده
A formal approach to distributed supervisory control synthesis for automated manufacturing systems is presented in this paper. The discrete manufacturing system (plant) is modeled with automata in a modular way and local control specifications are defined for each local subsystem by means of logical equations in order to construct local supervisors. To establish global control, global specifications are defined as logical combinations to ensure coordination and interaction between the different subsystems. Formal algorithms for the intersection between local controllers and global constraints are proposed. We refer to the resultant controllers as Distributed Controllers (DCs). The formulation of the problem and the control synthesis algorithms are applied to an experimental manufacturing system.
منابع مشابه
Partial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملRecent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملControl of Modular and Distributed Discrete-Event Systems
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems. For both modular and distributed discrete-event systems sufficient and necessary conditions are derived for modular control synthesis to equal global control synthesis for the supremal controllable sublanguage, for t...
متن کاملA New Petri-Net-Based Synthesis Technique for Supervisory Control of Discrete Event Systems
A new Petri-net-based top-down synthesis technique for supervisory control of Discrete Event Systems (DES) is proposed to solve the forbidden state problem. The supervisors obtained are compiled supervisors, whose control policy is represented as a net structure, as opposed to mapping supervisors, whose control policy is computed as a feedback function of the marking of the system. The compiled...
متن کاملModular Multitasking Supervisory Control of Composite Discrete-event Systems
A modular approach for efficiently dealing with multiple tasks and multiple specifications in the supervisory control of composite discrete-event systems (DES) is presented. Colored marking generators are used to distinguish classes of tasks in supervisory control of DES, which allows the synthesis of optimal supervisors that are nonblocking with respect to multiple control objectives. A local ...
متن کامل